mcsta

Benchmark
Model:sms v.1 (MA)
Parameter(s)A = 3, R = True
Property:Unreliability (prob-reach-time-bounded)
Invocation (default)
mcsta/modest mcsta sms.3-true.jani --props Unreliability -O out.txt Minimal --unsafe --es -S Memory --width 0
Execution
Walltime:0.21857070922851562s
Return code:0
Note(s):Unable to obtain tool result.
STDERR
The Modest Toolset (www.modestchecker.net), version v3.1.42-gb5e9d523c.
The maximum half-width of the bounds intervals computed by sound numeric methods must be positive.
Run modest mcsta --help to show usage information.